Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
491	Package ‘Biostrings’ May 21, 2015 Title String objects representing biological sequences, and matching algorithms Description Memory efficient string containers, string matching algorithms, and other utilities, for f Add to Reading List Source URL: bioconductor.org Language: English - Date: 2015-05-25 12:15:06 Software engineering Elementary mathematics Bioinformatics String Computational phylogenetics Regular expression Test Sequence alignment Substring Mathematics Computing Formal languages
492	doi:Spreadsheet Data Manipulation Using Examples By Sumit Gulwani, William R. Harris, and Rishabh Singh Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-07-29 01:36:56 Formal languages String Comparison of programming languages International Securities Identification Number Spreadsheet Expr Regular expression Scheme AWK Computing Software engineering Software
493	Applicative Abstract Categorial Grammar Semantics Seminar Toukyou, Japan, June 1, 2012 Add to Reading List Source URL: okmij.org Language: English - Date: 2012-06-05 21:37:41 Formal languages Science Quantification Predicate logic Categorial grammar Parsing Binding Formal grammar Linguistics Logic Semantics
494	Languages of Nested Trees ? Rajeev Alur1 , Swarat Chaudhuri1 , and P. Madhusudan2 1 Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2008-03-07 16:10:51 Nested word Words Computer science Models of computation Mathematics Regular tree grammar Finite-state machine Binary tree Tree Automata theory Formal languages Theoretical computer science
495	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.gis-lab.info Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
496	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: nbcgib.uesc.br Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
497	An Analyzer for Pascal W. M. Waite August 27, 2008 This document describes an analyzer for Pascal (ANSI/IEEE 770X3It was generated from an Eli1 specification of that analyzer. An abstract syntax tree structure Add to Reading List Source URL: eli-project.sourceforge.net Language: English - Date: 2008-08-29 15:29:08 Compiler construction Type theory Formal languages Procedural programming languages Cross-platform software Extended Backus–Naur Form Pascal Hindley–Milner C Software engineering Programming language theory Computing
498	Auto in Agda Programming proof search using reflection Pepijn Kokke and Wouter Swierstra Universiteit Utrecht pepijn.kokke@gmail Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2015-04-30 03:24:18 Type theory Functional languages Automated theorem proving Formal methods Theoretical computer science Agda Proof assistant Mathematical proof Dependent type Mathematics Logic Programming language theory
499	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: mirrors.psu.ac.th Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
500	Models of Computation Jeff Erickson January 4, 2015 http://www.cs.illinois.edu/~jeffe/teaching/algorithms/ Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2015-01-04 17:28:55 Theoretical computer science Constructible universe Model theory String Μ operator Function Mathematics Formal languages Combinatorics on words

UPDATE